I have heard from the reviewers about the revised version of your ( Read more... )

If your proof plan is going astray,
with a wave-front blocking the way,
then dream up a lemma,
to ripple the fella,
so fertilize can have its day.

Alan Bundy

I've this long list of things I've been meaning to blog about over the past few months. I recall making a rather drunken post from BundyFest at the time, but I thought I might try a more sober round up of the event. In brief, Alan Bundy, my PhD supervisor is 61 so we had a symposium to celebrate his 60th Birthday and the opening of the " ( Read more... )

Achieved:

• Gave Dream Talk. AB suggested checking out Machine Learning literature and asking AI about testing.
• Got an IsaPlanner critic to work, but couldn't integrate it with the middle-out reasoning proof of yesterday.

Unachieved:

• Blue book note still unwritten but exists as a draft.
• End-to-end example of using program slicing to detect and error ( Read more... )

Achieved:

• Volunteered to give a Dream Talk on Friday
• Printed out and read my papers on Program Slicing which I said I'd talk about in the Dream Talk
• Long talk with LD about proof specification languages and control rules. Sent him draft paper on control rules by myself MJa and MP.

To Do:

• Write an abstract to go with the title for my Dream Talk, ( Read more... )